/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package chameleon.model.NuGatStructure.prop;

import chameleon.model.NuGatStructure.fsm.BddFsm;
import chameleon.gameSolver.NuGat.NuGatInterface;
import chameleon.model.NuGatStructure.NuGatStructure;
import com.sun.jna.Pointer;

/**
 *
 * @author simon
 */
public class PropDb extends NuGatStructure {

    public PropDb(Pointer structure, NuGatInterface nugat) {
        super(structure, nugat);
    }
    
    public void setBddFsm(BddFsm fsm){
        nugat_.PropDb_master_set_bdd_fsm(this.ptr(), fsm.ptr());
    }
}
